contents 39,40

CONTENTS CONTENTS Contents

CONTENTS Contents �

We illustrate the use of functional system speci cations and their re nement in the development of system components by a simple case study The development includes the modular speci cation re nement and veri cation of system components We start the development with an informal description of the tasks of the case study and then step by step carry out the tasks formally The informal requirement...

Pii: S0304-3940(99)00857-5

Modulation of central 5-HT receptor sensitivity is implicated in the therapeutic response to electroconvulsive shock (ECS). Altered 5-HT receptor expression may play a role in this process. We have measured the mRNAs encoding 5-HT1A, 5-HT2A, 5-HT2C and 5-HT7 receptors, and the 5-HT transporter, in rat brain after single ECS, repeated ECS, and 3 weeks after repeated ECS. Hippocampal 5-HT1A recep...

Pii: S0304-3940(02)00517-7

This study used structural magnetic resonance imaging (MRI) to investigate associations between brain structure and saccadic eye movements. Seventeen healthy subjects underwent structural MRI and infra-red oculographic assessment of a reflexive saccade task. Volumes of prefrontal, premotor, and occipitoparietal cortex, caudate, thalamus, and cerebellar vermis were used as predictors in multiple...

Pii: S0304-3940(02)01172-2

Dietary porcine brain phospholipids are much more efficient than soybean phospholipids for ensuring a normal (optimal obtained with lab chow diet) level of docosahexaenoic acid (DHA) in tissues and brain subcellular fractions (brain myelin and nerve endings). Two weeks before mating, rats were divided into two groups (one group was subdivided into subgroups, fed with varying amounts of porcine ...

Pii: S0304-3940(01)02058-4

Human embryonic kidney 293 (HEK-293) cells stably transfected with the human serotonin (5-HT) or dopamine transporter (hSERT, hDAT), or the rat GABA transporter GAT-1 were incubated with saturating concentrations of transporter substrates (hSERT: [H]5-HT, [H]N-methyl-phenyl-pyridinium (MPP1); hDAT: [H]dopamine, [H]MPP; rGAT: [H]GABA). Uptake velocities decreased signi®cantly over time for [H]5-...

Pii: S0304-3940(01)02049-3

Slices (400 mm) containing the area postrema were prepared from three Japanese house musk shrews. Data reported are from 16 representative units. Units fell into one of three separate groups with spontaneous ®ring rates of 36±41/s, 16± 18/sec. and 6±8/sec., possibly re ̄ecting different set points of an endogenous pacemaker. Most neurons did not respond to ionophoresis of GABA or ACh. In those t...